Issue2759.agda:7,1-7
Empty mutual block.
Issue2759.agda:9,1-9
Empty abstract block.
Issue2759.agda:11,1-8
Empty private block.
Issue2759.agda:13,1-9
Empty instance block.
Issue2759.agda:15,1-6
Empty macro block.
Issue2759.agda:17,1-10
Empty postulate block.
Issue2759.agda:23,3-12
Empty postulate block.
Issue2759.agda:27,27-32
Empty macro block.
Issue2759.agda:33,12-20
Empty abstract block.
when scope checking λ (let abstract) → let abstract in Set
Issue2759.agda:33,29-37
Empty abstract block.
when scope checking let abstract in Set
Issue2759.agda:34,12-17
Empty field block.
when scope checking λ (let field) → let field in Set
Issue2759.agda:34,29-34
Empty field block.
when scope checking let field in Set
Issue2759.agda:35,12-20
Empty instance block.
when scope checking λ (let instance) → let instance in Set
Issue2759.agda:35,29-37
Empty instance block.
when scope checking let instance in Set
Issue2759.agda:36,12-17
Empty macro block.
when scope checking λ (let macro) → let macro in Set
Issue2759.agda:36,29-34
Empty macro block.
when scope checking let macro in Set
Issue2759.agda:37,12-18
Empty mutual block.
when scope checking λ (let mutual) → let mutual in Set
Issue2759.agda:37,29-35
Empty mutual block.
when scope checking let mutual in Set
Issue2759.agda:38,12-21
Empty postulate block.
when scope checking λ (let postulate) → let postulate in Set
Issue2759.agda:38,29-38
Empty postulate block.
when scope checking let postulate in Set
Issue2759.agda:39,12-19
Empty private block.
when scope checking λ (let private) → let private in Set
Issue2759.agda:39,29-36
Empty private block.
when scope checking let private in Set

———— All done; warnings encountered ————————————————————————

Issue2759.agda:7,1-7
Empty mutual block.

Issue2759.agda:9,1-9
Empty abstract block.

Issue2759.agda:11,1-8
Empty private block.

Issue2759.agda:13,1-9
Empty instance block.

Issue2759.agda:15,1-6
Empty macro block.

Issue2759.agda:17,1-10
Empty postulate block.

Issue2759.agda:23,3-12
Empty postulate block.

Issue2759.agda:27,27-32
Empty macro block.

Issue2759.agda:33,12-20
Empty abstract block.
when scope checking λ (let abstract) → let abstract in Set

Issue2759.agda:33,29-37
Empty abstract block.
when scope checking let abstract in Set

Issue2759.agda:34,12-17
Empty field block.
when scope checking λ (let field) → let field in Set

Issue2759.agda:34,29-34
Empty field block.
when scope checking let field in Set

Issue2759.agda:35,12-20
Empty instance block.
when scope checking λ (let instance) → let instance in Set

Issue2759.agda:35,29-37
Empty instance block.
when scope checking let instance in Set

Issue2759.agda:36,12-17
Empty macro block.
when scope checking λ (let macro) → let macro in Set

Issue2759.agda:36,29-34
Empty macro block.
when scope checking let macro in Set

Issue2759.agda:37,12-18
Empty mutual block.
when scope checking λ (let mutual) → let mutual in Set

Issue2759.agda:37,29-35
Empty mutual block.
when scope checking let mutual in Set

Issue2759.agda:38,12-21
Empty postulate block.
when scope checking λ (let postulate) → let postulate in Set

Issue2759.agda:38,29-38
Empty postulate block.
when scope checking let postulate in Set

Issue2759.agda:39,12-19
Empty private block.
when scope checking λ (let private) → let private in Set

Issue2759.agda:39,29-36
Empty private block.
when scope checking let private in Set
